On proof-test intervals for safety functions implemented in software
نویسنده
چکیده
Given a target probability of functional failure on demand for a system, a corresponding dangerous failure rate for the system can be derived, provided that a proof-test interval for the function is known. IEC 61508, and related standards, requires that this calculation be performed, for certain kinds of systems that are required to provide safety functionality on demand. This paper explains why it is necessary to consider what constitutes a proof-test interval for a function, and then considers what this means for software. We show that there are several problems with the proof-test concept, as applied to software, and describe the problems this presents to practitioners wanting to derive safety integrity levels for system safety functions.
منابع مشابه
Impact of Optimally Minimizing Delay Times on Safety at Signalized Intersections in Urban Areas, Case Study: The City of Virginia Beach
Optimally minimizing delay times at signalized intersections can significantly improve both traffic flow and safety. However, most traffic flow optimizing tools do not measure the effect on safety. This study uses nonlinear programming (NLP) algorithms to optimally minimize delay times and employs both Safety performance functions (SPFs) and empirical Bayes (EB) before-after methodology to meas...
متن کاملAutomated Theorem Proving by Test Set Induction
Test set induction is a goal-directed proof technique which combines the full power of explicit induction and proof by consistency. It works by computing an appropriate explicit induction scheme called a test set, to trigger the induction proof, and then applies a refutation principle using proof by consistency techniques. We present a general scheme for test set induction together with a simpl...
متن کاملMathematical Proof for the Minimized Stray Fields in Transformers Using Auxiliary Windings Based on State Equations for Evaluation of FEM Results
Stray magnetic field is one of the main issues in design of transformers, since it causes non-ideal behavior of transformers. One of the techniques is usually adopted to mitigate the unwanted stray magnetic field is the use of auxiliary windings creating a magnetic field opposite to the incident one giving rise to the reduction of the total magnetic fields. This paper presents a new mathematica...
متن کاملDiagonal arguments and fixed points
A universal schema for diagonalization was popularized by N.S. Yanofsky (2003), based on a pioneering work of F.W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fi...
متن کاملEffectiveness of cognitive rehabilitation based on RehaCom software on improving cognitive functions of the elderly
Introduction: In recent years, the trend towards aging in Iran has been very rapid. Since aging causes changes in cognitive and motor functions and disruption in the daily activities of the elderly, so the aim of this study was to investigate the effectiveness of cognitive rehabilitation based on Rehacom software on improving cognitive function in the elderly in Mashhad. Methods: The method of ...
متن کامل